We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.

Glava 1. Osmyslenie "ideala" russkim kosmizmom -- Glava 2. Analiz osnovnykh filosofsko-antropologicheskikh ideĭ v russkoĭ religioznoĭ filosofii -- Glava 3. Idei kosmizma v russkoĭ religioznoĭ filosofii -- Glava 4. V.I. Vernadskiĭ o sootnoshenii nauki, filosofii i religii -- Glava 5. Mifologicheskoe i nauchnoe v izuchenii obraza protopopa Avvakuma -- Glava 6. Ėkonomicheskoe razvitie i nravstvennai︠a︡ degradat︠s︡ii︠a︡ cheloveka i obshchestva v format︠s︡ionnom podkhode Karla Marksa i Fridrikha Ėngelʹsa.

The split, the alienation of philosophy from the sciences occurred long before all sorts of perestroikas and KGB revolutions "from above", all these great leaps, great pushes and painful kicks. This is a consequence of internal processes occurring at the level of everyday scientific consciousness, the living practice of scientific research. The isolation of development is a fact, not an invention of the Mossad or the CIA. It was precisely from this fact that we proceeded when we conceived this conference. (...) Philosophers and representatives of specific sciences should meet in order to speak on equal terms, as equals with equals, in order to possibly learn something from each other. Concrete scientists could not only enrich philosophers with new material, but also pose a number of problems for them. The novelty is that the philosophical approach is recognized as existing not above others, but alongside them, as a kind of reflection on the foundations of these approaches, analysis, digging into the theoretical and conceptual side of the matter. (shrink)

The process of turning a myth into a fairy tale, its internal and external causes, patterns, consequences... It may be difficult to find a more traditional way of exploring a fairy tale than this one. We will not avoid it either, because whatever aspect of the fairy tale analysis we choose, it is impossible to bypass this side of its genesis. And the choice of the method of explication of this problem largely predetermines both the angle of her vision and (...) the means of solution. The same traditions have already been given peculiar power lines that urge more and more researchers to move in the area of ​​these lines and to cover more and more varieties of the same dimensions of the object: demythologization and desacralization of the hero, his actions, his environment; giving the myth an exoteric character, with the elements of fiction and irony that are inconceivable as a result; the shrinking of the scale of the hero's actions, and hence the replacement of the mystery of myth with mysteriousness, intrigue in the fairy tale, the decline of the mythological worldview. The topics of branching of the subjects through the myth to the fairy tale, finding and researching common for both phenomena of binary oppositions, etc., are densely addressed. (shrink)

This study offers a critical analysis of Husserl's theory of meaning. The author commences by delineating the position and function of Husserl's meaning theory in the sum total of his phenomenological philosophy. He goes on to demonstrate that this theory was conceived as an integral component of Husserl's theory of knowledge. (edited).

Purpose. The purpose of the study is to outline the links between individual and collective dimensions of the human worldview. This purpose requires solving two tasks: to update philosophical ideas formed by reflection on human and community worldview; to identify and generalize the relationship of singular and general in the context of the problem of human worldview. Theoretical basis. The study is based on philosophical reflections about manifestations of singular and general worldviews. Such reflections appeared in European philosophy quite a (...) long time ago. Ukrainian and foreign philosophical discourse considers both measures of the worldview. And a role of the carrier of worldview plays either human or society. We can see that in researches of S. Krymskyi, I. Nadolniy, V. Popov, N. Rozhanska, V. Tabachkovskyi, V. Shynkaruk, V. Poythress, D. Rousseau, D. Billingham, C. Gianolla and others. However the links between individual and collective dimensions of worldview are not clearly outlined. It is possible to note the research of V. Popov who focuses on the problem of socio-collective and individual dimensions of worldview. But the scientist focuses more on the use of the concept of worldview in these two meanings. Human as a social being interacts with worldviews of other individuals. That is why we can speak of two dimensions of the worldview function: individual and collective. This problem became topical due to acuteness of the links between human and society in modern life. Originality. The author outlined key links between individual and collective dimensions of human worldview functioning. The study identified a role of human as a carrier of the worldview in formation of collective worldview. Conclusions. Human as a worldview carrier plays a key role in formation of collective worldview. In philosophical discourse thoughts about links between individual and collective worldviews are different and sometimes conflicting. We have a discussion problem of uniformity and diversity of collective worldview. Collective worldview is showed as a circulation of different ideas and views of individuals. But collective worldview is showed as a whole system of individual views too. Collective worldview manifests as integrated phenomenon because it is based on common worldviews of individuals. At the same time the human is influenced by collective worldview in particularly as a past generation heritage. (shrink)

We define proof nets for cyclic multiplicative linear logic as edge bi-coloured graphs. Our characterization is purely graph theoretical and works without further complication for proof nets with cuts, which are usually harder to handle in the non-commutative case. This also provides a new characterization of the proof nets for the Lambek calculus (with the empty sequence) which simply are a restriction on the formulas to be considered (which are asked to be intuitionistic).

This work is devoted to the relations between Lambek’s Syntactic Calculus and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: the geometrical representation of the laws of LC by means of proof-nets; the discovery - due to such a geometrical representation - of some laws of LC not yet considered; the discussion of possible linguistic uses of these new laws.

Hilbert's conference lectures during the year 1922, Neuebegründung der Mathematik. Erste Mitteilung and Die logischen Grundlagen der Mathematik (both are published in (Hilbert [1935] 1965) pp. 157-195), contain his first public presentation of an axiom system for propositional logic, or at least for a fragment of propositional logic, which is largely influenced by the study on logical woks of Frege and Russell during the previous years.The year 1922 is at the beginning of Hilbert's foundational program in its definitive form. The (...) final public presentation by Hilbert of an axiom system for propositional logic is contained in the 1934 book Grundlagen der Mathematik, I (Hilbert and Bernays [1934] 1968). Sequent .. (shrink)

В книге представлено понимание границ в психотерапии с позиций аналитической психологии. Для практикующих психологов и психотерапевтов, а также для студентов психологических вузов.